проверка правильности программы

проверка правильности программы

 

проверка правильности программы
 —
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]

Тематики

  • информационные технологии в целом

EN

  • program verification


Справочник технического переводчика. – Интент. 2009-2013.

Игры ⚽ Поможем сделать НИР

Смотреть что такое "проверка правильности программы" в других словарях:

  • Проверка правильности надевания респиратора — (respirator seal check, user seal check)  проверка того, правильно ли надет респиратор (у которого лицевая часть плотно прилегает к лицу  полнолицевая маска, полумаска, четвертьмаска), и герметичности самой лицевой части. Проверка… …   Википедия

  • Проверка программы — проверка правильности реализации заданного алгоритма путем выполнения программы на вычислительной машине. По английски: Program check out См. также: Отладка программ Финансовый словарь Финам …   Финансовый словарь

  • проверка — 2.9 проверка [аудит]: Систематическая и объективная деятельность по оценке выполнения установленных требований, проводимая лицом (экспертом) или группой лиц, независимых в принятии решений. Источник: ГОСТ Р 52549 2006: Система управления… …   Словарь-справочник терминов нормативно-технической документации

  • ПРОВЕРКА НАПИСАНИЯ — (spelling check) Компьютерная программа, используемая для проверки правильности написания слов в тексте. В нее входит словарь, содержащий правильное написание важных слов. После запуска программы происходит сверка каждого слова в тексте со… …   Словарь бизнес-терминов

  • Отладка программы — Отладка  этап разработки компьютерной программы, на котором обнаруживают, локализуют и устраняют ошибки. Чтобы понять, где возникла ошибка, приходится : узнавать текущие значения переменных; выяснять, по какому пути выполнялась… …   Википедия

  • АУДИТОРСКАЯ ПРОВЕРКА — сбор, оценка и анализ аудиторских доказательств, касающихся финансового положения экономического субъекта, подлежащего аудиту, имеющие своим результатом выражение мнения аудитора о правильности ведения бухгалтерского учета и достоверности… …   Финансово-кредитный энциклопедический словарь

  • Циклическая проверка на чётность — Алгоритм вычисления контрольной суммы (англ. Cyclic redundancy code, CRC  циклический избыточный код)  способ цифровой идентификации некоторой последовательности данных, который заключается в вычислении контрольного значения её циклического… …   Википедия

  • Циклическая проверка на четность — Алгоритм вычисления контрольной суммы (англ. Cyclic redundancy code, CRC  циклический избыточный код)  способ цифровой идентификации некоторой последовательности данных, который заключается в вычислении контрольного значения её циклического… …   Википедия

  • РД 22-28-36-01: Краны грузоподъемные. Типовые программы и методики испытаний — Терминология РД 22 28 36 01: Краны грузоподъемные. Типовые программы и методики испытаний: 2.1.4. Внеочередное полное техническое освидетельствование (ВТОс) полное техническое освидетельствование, проводимое в случаях, предусмотренных Правилами… …   Словарь-справочник терминов нормативно-технической документации

  • ПРОГРАММИРОВАНИЕ — 1) процесс составления программы, плана действий; 2) дисциплина, изучающая методы и приемы составления программ. С определенной долей условности П. как дисциплина делится на программирование теоретическое, изучающее математич. абстракции программ …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»